1. Advanced computer architecture :
پدیدآورنده : Chao Li, Junjie Wu (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture, Congresses.,Computer System Implementation.,Logic Design.,Operating Systems.,Processor Architectures.,Special Purpose and Application-Based Systems.,Computer architecture & logic design.,Computer architecture.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Computers-- Systems Architecture-- General.,Expert systems-- knowledge-based systems.,Operating systems.,Systems analysis & design.
رده :
QA76
.
9
.
A73
2. Architecture of computing systems -- ARCS 2018 :
پدیدآورنده : Mladen Berekovic, Rainer Buchty, Heiko Hamann, Dirk Koch, Thilo Pionteck (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture, Congresses.,Computer architecture & logic design.,Computer architecture.,Computer networking & communications.,Computers-- Data Transmission Systems-- Electronic Data Interchange.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Computers-- Systems Architecture-- General.,Network hardware.,Operating systems.,Systems analysis & design.
رده :
QA76
.
9
.
A73
A72
2018eb
3. Artificial intelligence research and development :
پدیدآورنده : edited by Teresa Alsinet, Josep Puyol-Gruart, and Carme Torras.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Digital computer simulation, Congresses.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Digital computer simulation.
رده :
Q334
.
C37
2008eb
4. Biomimetic and Biohybrid Systems
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Artificial intelligence. ; Computer network architectures. ; Computer science. ; Computer vision. ; Operating systems (Computers). ; Logic design. ; Artificial Intelligence. ;
5. Biomimetic and Biohybrid Systems :
پدیدآورنده : edited by Uriel Martinez-Hernandez, Vasiliki Vouloutsi, Anna Mura, Michael Mangan, Minoru Asada, Tony J. Prescott, Paul F.M.J. Verschure.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer network architectures.,Computer science.,Computer vision.,Logic design.,Operating systems (Computers),Artificial intelligence-- Biological applications.,Biomimicry.,Natural computation.,Operating systems (Computers)
رده :
T173
.
8
.
L58
2019
6. Data Types and Persistence
پدیدآورنده : edited by Malcolm P. Atkinson, Peter Buneman, Ronald Morrison.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Operating systems (Computers)
رده :
QA76
.
9
.
D35
E358
1988
7. Dependable computing--EDCC-1 :
پدیدآورنده : Klaus Echtle, Dieter Hammer, David Powell, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic digital computers -- Reliability -- Congresses.,Fault-tolerant computing -- Congresses.,Tolérance aux fautes (Informatique) -- Congrès.
رده :
QA76
.
9
.
F38
K538
1994
8. Design, Analysis and Test of Logic Circuits Under Uncertaint
پدیدآورنده : / by Smita Krishnaswamy, Igor L. Markov, John P. Hayes
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Engineering,Computer hardware,Computer science,Logic design,Operating systems (Computers),Algebra, Data processing,Systems engineering,Electronic books
رده :
E-BOOK
9. Embedded systems :
پدیدآورنده : James K. Peckol, Ph. D., University of Washington.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Embedded computer systems.,Object-oriented methods (Computer science),COMPUTERS-- General.,Embedded computer systems.,Object-oriented methods (Computer science)
رده :
TK7895
.
E42
10. Embedded systems technology :
پدیدآورنده : Yuanguo Bi, Gang Chen, Qingxu Deng, Yi Wang (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Embedded computer systems, Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Embedded computer systems.,Information retrieval.,Operating systems.
رده :
TK7895
.
E42
11. Encyclopedia of management.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Industrial management, Encyclopedias.,Management, Encyclopedias.,Industrial management.,Management.
رده :
HD30
.
15
.
E49
2009
12. Leveraging applications of formal methods, verification and validation :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
رده :
QA76
.
9
.
F67
13. On the construction of artificial brains /
پدیدآورنده : Ulrich Ramacher, Christoph von der Malsburg, editions
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Neural circuitry,Neural networks (Computer science),Computer Science-- IT
رده :
QA76
.
87
.
O5
2010
14. Self-Timed Control of Concurrent Processes
پدیدآورنده : edited by Victor I. Varshavsky.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering.,Computer science.,Engineering.,Information theory.,Mathematical optimization.,Systems engineering.
15. Stabilization, safety, and security of distributed systems :
پدیدآورنده : Taisuke Izumi, Petr Kuznetsov (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses.,Electronic data processing-- Distributed processing-- Safety measures, Congresses.,Self-stabilization (Computer science), Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computer security.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Expert systems-- knowledge-based systems.,Network hardware.,Operating systems.,Self-stabilization (Computer science),Systems analysis & design.
رده :
QA76
.
9
.
S54
16. The handbook of software for engineers and scientists /
پدیدآورنده : editor-in-chief, Paul W. Ross.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software.,Engineering-- Data processing.,Science-- Data processing.,Computer software.,COMPUTERS / Programming Languages / JavaScript,Engineering-- Data processing.,Science-- Data processing.
رده :
QA76
.
754
.
H35
2018eb
17. Transactions on computational science XXXIII /
پدیدآورنده : Marina L. Gavrilova, C.J. Kenneth Tan (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Internet of things.,Wireless communication systems.,Computer Applications.,Computer Communication Networks.,Logic Design.,Mathematics of Computing.,Operating Systems.,Theory of Computation.,Computer architecture & logic design.,Computer science.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Information technology: general issues.,Internet of things.,Mathematical theory of computation.,Network hardware.,Operating systems.,Wireless communication systems.
رده :
TK5105
.
8857
18. Trends in functional programming :
پدیدآورنده : Michał Pałka, Magnus Myreen (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
رده :
QA76
.
62
.
I58
2018
19. Trends in functional programming :
پدیدآورنده : edited by Meng Wang, Scott Owens.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
